1{-}1{-}Corresp($A$;$B$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$f$:$A$$\rightarrow$$B$. $\exists$$g$:$B$$\rightarrow$$A$. InvFuns($A$;$B$;$f$;$g$)